翻訳と辞書 Words near each other ・ Theory of Legal Norms ・ Theory of Lie groups ・ Theory of Literature ・ Theory of mediation ・ Theory of mind ・ Theory of Motivated Information Management ・ Theory of multiple intelligences ・ Theory of natural limits ・ Theory of obligationes ・ Theory of operation ・ Theory of painting ・ Theory of Pashtun descent from Israelites ・ Theory of Phoenician discovery of the Americas ・ Theory of planned behavior ・ Theory of Probability and Its Applications ・ Theory of pure equality ・ Theory of reasoned action ・ Theory of relativity ・ Theory of religious economy ・ Theory of Scheduling ・ Theory of solar cells ・ Theory of sonics ・ Theory of storage ・ Theory of taxation ・ Theory of the Absolute Individual ・ Theory of the firm ・ Theory of the leader ・ Theory of the Portuguese discovery of Australia ・ Theory of the productive forces ・ Theory of the second best Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Theory of pure equality ： ウィキペディア英語版 Theory of pure equality In mathematical logic the theory of pure equality is a first-order theory. It has a signature consisting of only the equality relation symbol, and includes no non-logical axioms at all (Monk 1976:240–242). This theory is consistent, as any set with the usual equality relation provides an interpretation. The theory of pure equality was proven to be decidable by Löwenheim in 1915. If an additional axiom is added saying either that there are exactly ''m'' objects, for a fixed natural number ''m'', or an axiom scheme is added stating there are infinitely many objects, the resulting theory is complete. == References == * 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Theory of pure equality」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.